
int main()
{
  int i;

  if(i>0)
    if(i<3)
      assert(i>=1 || i<=2);

  return 0;
}
